distributivity proof